Using Temporal Logics for Planning and Control
نویسنده
چکیده
Traditionally, planning work in Artificial Intelligence has focused on primitive actions and instantaneous states. Innovative work has been done on composing primitive actions so as to bring about desired final states. The thesis being advanced here is that instead of simply focusing on primitive actions, it is also useful to use representation and reasoning tools whose primitive objects are sequences of actions (or the associated sequences of states that they generate). Temporal logics are a useful tool for representing and reasoning about action sequences. In work over the past two years I and my colleagues have examined some different applications of temporal logics to problems of planning and control.
منابع مشابه
Design of An Intelligent Model for Strategic Planning in Mineral Holding: Case study, Shahab-Sang Holding
Business logic is one of the most important logics based on the decision matrix. However, using this logic alone and environmental uncertainty leads to problems such as low accuracy and integrity in strategic planning. In this work, we use an intelligent model based on the neural-fuzzy approach aiming at a desired decision-making and reducing the uncertainty in the strategic planning in mineral...
متن کاملTemporalising Separation Logic for Planning with Search Control Knowledge
Temporal logics are widely adopted in Artificial Intelligence (AI) planning for specifying Search Control Knowledge (SCK). However, traditional temporal logics are limited in expressive power since they are unable to express spatial constraints which are as important as temporal ones in many planning domains. To this end, we propose a twodimensional (spatial and temporal) logic namely PPTL by t...
متن کاملUsing temporal logics to express search control knowledge for planning
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from combinatorial complexity even in simple domains. Theoretical results demonstrate that planning is in the worst case intractable. Nevertheless, planning in particular domains can often be made tractable by utilizing add...
متن کاملIncorporation of Temporal Logic Control intoPlan
Domain-speciic control information is often essential in solving diicult planning problems eeciently. Temporal logics are a declarative and expressive way of expressing such control information for almost any form of planning. In this paper we investigate the integration of temporal logic control information into plan operators. For a given control formula and operators O, we produce a new set ...
متن کامل